w{-}V($w$; $i$; $k$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$kindcase($k$; $a$.1of(2of($w$))($i$,$a$); $l$,${\it tg}$.1of(2of(2of($w$)))($l$,${\it tg}$) )